#include <stdint.h>
#include "platform_drv.h"
#include "task_manage.h"

int main(void)
{
	PlatformDrvInit();
	TaskManageInit();
	
	while (1)
	{	
	}
}
